комбинаторная операция

См. также в других словарях:

• КОМБИНАТОРНАЯ ЛОГИКА — см. Логика комбинаторная. Философская Энциклопедия. В 5 х т. М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960 1970. КОМБИНАТОРНАЯ ЛОГИКА …   Философская энциклопедия

• КОМБИНАТОРНАЯ ЛОГИКА — раздел логики, посвященный изучению и анализу таких понятий и методов, как переменная, функция, операция подстановки, классификация предметов по типам или категориям и другие. В качестве основных понятий в К. л. выбираются одноместная функция и… …   Математическая энциклопедия

• Комбинаторная логика —         ветвь математической логики, изучающая комбинаторы и их свойства. В качестве основных понятий в К. л. выбираются функция и операция применения функции к аргументу (аппликация). Комбинаторами называют члены некоторого класса операций над… …   Большая советская энциклопедия

• НЕКЛАССИЧЕСКИЕ ЛОГИКИ —     НЕКЛАССИЧЕСКИЕ ЛОГИКИ широкая область логических исследований, выходящая за пределы или, наоборот, сужающая область исследований классической логики высказываний и логики предикатов.     Предпосылки для неклассической логики были высказаны… …   Философская энциклопедия

• группировка — структура логики. В психологию это понятие ввел в 1937 г. Ж. Пиаже в качестве одного из основных понятий своей концепции интеллекта операциональной. Группировка считается связующим звеном между логическими и психологическими структурами. В… …   Большая психологическая энциклопедия

• Топология — (от греч. tоpos место и …логия (См. ...Логия)         часть геометрии, посвященная изучению феномена непрерывности (выражающегося, например, в понятии предела). Разнообразие проявлений непрерывности в математике и широкий спектр различных… …   Большая советская энциклопедия

• ФОРМАЛЬНАЯ ЛОГИКА — наука, занимающаяся анализом структуры высказываний и доказательств, обращающая основное внимание на форму в отвлечении от содержания. Определение «формальная» было введено И. Кантом с намерением подчеркнуть ведущую особенность Ф.л. в подходе к… …   Философская энциклопедия

• ЛИ АЛГЕБРА — лиева алгебра, унитарный k модуль Lнад коммутативным кольцом k с единицей, к рый снабжен билинейным отображением прямого произведения в L, обладающим следующими двумя свойствами: 1) [ х, х] = 0 (откуда вытекает антикоммутативность 2) ( х,[ у,… …   Математическая энциклопедия

• МНОЖЕСТВ ТЕОРИЯ — наивная учение о свойствах множеств, преимущественно бесконечных, элиминирующее свойства элементов, составляющих эти множества. . Понятие множества принадлежит к числу первоначальных математич. понятий и может быть пояснено только при помощи… …   Математическая энциклопедия

• Карацуба — Карацуба, Анатолий Алексеевич Карацуба Анатолий Алексеевич Дата рождения: 31 января 1937(1937 01 31) …   Википедия

• Карацуба, Анатолий Алексеевич — Карацуба Анатолий Алексеевич Дата рождения: 31 января 1937 …   Википедия